import random;
r = random;
n = 900
m = 100;
print(str(n) + " " + str(m));
for i in range(n + m):
	print(str(r.randint(0, 10000)) + " " + str(r.randint(0, 10000)) + " " + str(r.randint(0, 10000)));


